-- Expected output: 0
DEF MAIN:nat == sub(2, 2)

